excision isomorphism

切除同构